<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312" />
<title>No Result - GeoLounge</title>
<style type="text/css">
#header{
    width:96%;
	height:25px;
	background-color:#dbdbdb;
	margin:0px auto;
	padding-top:0px;
	padding-bottom:0px;
}
#geoLounge{
    width:150px;
	float:left;
	border-left:4px solid #ffffff;
}

#nav li{
    float:right;
	list-style:none;	
}
#nav li a:hover{
    text-decoration:underline;
}

#nav li a{
    color:#0073b1;
	text-decoration:none;
	display:block;
	width:auto;
	height:12px;
	text-align:center;
	margin-top:5px;
	margin-right:15px;
}
#nav li a#current{
    color:#000000;
	font-weight:bold;
}
#nav li a#current:hover{
    text-decoration:none;
}
#search{
    margin-top:10px;
	margin-left:30px;
	clear:left;
}
#textInput{
    width:30%;
}
#right{
    width:15%;
	height:100%;
	margin-top:10px;
	margin-left:0px;
    float:left;
}
#left{
    width:70%;
	float:left;
	border-right:1px solid #dbdbdb;
	padding-left:30px;
	padding-right:30px;
	margin-top:0px;
}
#logo2{border:0px;margin-left:20px;}
#nameTheo{
    border-bottom:2px solid #CCCCCC;
}

#blanc{
    float:left;
    clear:left;
	width:100%;
    height:10px;
	border-bottom:1px dotted #dbdbdb;
}
#footer{
    float:right;
    margin:0px;
	height:12px;
}
#footer li{
    float:left;
	list-style:none;
	margin:7px;
}
#footer li a{
    color:#0073b1;
	height:auto;
	display:block;
	margin-right:15px;
}

.STYLE1 {font-family: Arial, Helvetica, sans-serif; font-size: 12px; }
p{font-family: Arial, Helvetica, sans-serif; font-size: 12px; }
h1{font-family: Arial, Helvetica, sans-serif; color:#0073b1; }
h2{font-family: Arial, Helvetica, sans-serif; font-size: 25px; }
h3{font-family: Arial, Helvetica, sans-serif; font-size: 20px; background-color:#dbdbdb; text-indent:2px; }
</style>
</head>

<body>
<div id="header">
    <div id="geoLounge">
	  <img src="LogoSmall.gif" width="150px" height="25"px />
	</div>
	
	<ul id="nav" class="Style1">
	  <li class="STYLE1"><a href="example.html">Example</a></li>
	  <li class="STYLE1"><a href="geother.html" id="geother">Geother</a></li>
	  <li class="STYLE1"><a href="intro.html" id="intro">Intro</a></li>
	  <li class="STYLE1"><a href="index.html" id="home">Home</a></li>
	 
    </ul>
</div>

<form name="search" id="search" method="post" action="Brief.php">
      <input name="theorem" type="text" id="textInput" />
	  <input name="buttom" type="submit" value="Search Theorems" id="go" />
</form>

<div id="container">
	<div id="left">
	  <div id="sorry"><h2>Sorry, there is no result.<br />You can try a different.</h2></div>
	</div>
	<div id="right">
	  <a href="advSearch.html"><img src="Logo2.gif" width="200" height="200" id="logo2"/></a>
	</div>
</div>
<div id="blanc"></div>
<div id="footer">
    <ul class="STYLE1">
	  <li><a href="aboutUs.html">About Us</a></li>
	  <li><a href="http://www.buaa.edu.cn">Go to BUAA</a></li>
	</ul>
</div>
	  

	 
</body>
</html>
